Prove tan^2x 1=sec^2x